Epistemic and doxastic modal logics (Hintikka [1962]), and the logics of theory change and belief revision (Alchourr6net. al. [1985], Giirdenfors [1988]) are used for the represen...
Edge detection is one of the most-studied problems in the field of computervision. However,there is no standard method of objectively and accurately evaluating the performance of ...
In this papera newoperatorfor agent's implicit belief revisionis presented.Thisoperatoris conceptually based on the following requirement:anagent should find first anexplanat...
Knowledge "objects' are proposed as a modelling framework which facilitates the reuse of knowledge. Knowledgeobjects are operators which maybe used to construct the ...
Path planning for an autonomousvehicle can occur at twodifferent times. First, path planning might occur at mission specification time when the vehicle's initial path is dete...
Richard Fox, Antonio Garcia Jr., Michael L. Nelson
Mixed-initiative dialogs often contain interruptions in phrase structure such as repairs and backchannel responses. Phrase structure as traditionally de ned does not accommodate s...
An option to ensure that operators of complex systems have adequate situation awareness (SA) to support decision making and action is to train them to acquire and maintain SA. Thi...
Ellen J. Bass, Samuel T. Ernst-Fortin, Phillip C. ...