| Barker, K., B. Porter, and P. Clark, A Library of Generic Concepts for Composing Knowledge Bases, in Proc. 1st Int Conf on Knowledge Capture (K-Cap'01). 2001. p. 14--21 |
....this function such as a way of employing more explainable language. 111 . Providing a focused report: a) old interface (b) The new interface explains why the condition has failed. Figure 3: improving KANAL interface Many of KANAL s checks make use of SHAKEN s background knowledge on actions [1] which include knowledge about general action types (such as Move) and more special knowledge that is needed for checking domain dependent conditions and effects. For example Move in general requires that the object being moved shouldn t be restrained and the objects involved should be known but ....
Barker, K., Clark, P. and Porter, B., A Library of Generic Concepts for Composing Knowledge Bases. Proceedings of 115 the First International Conference on Knowledge Capture (K-CAP-2001.
....axioms at a conceptually high level of abstraction. Researchers have applied this idea not only to specifying single axioms but also to specifying sets of axioms. In some cases, a set of axioms represents a complex knowledge base component, such as the description of a physical process [1,2]. In other cases, a set of parameterised axioms represents a new constraint that cannot be directly expressed in the corresponding language [10] As a result, the task of the knowledge base designer is greatly simplified, since all he needs to do is to instantiate a particular pattern rather ....
Barker, K., Clark, P. and Porter, B. A Library of Generic Concepts for Composing Knowledge Bases. In: 1st Int Conf on Knowledge Capture (K-Cap'01). Victoria, BC, 2001.
No context found.
Barker, K., B. Porter, and P. Clark, A Library of Generic Concepts for Composing Knowledge Bases, in Proc. 1st Int Conf on Knowledge Capture (K-Cap'01). 2001. p. 14--21
No context found.
Barker, K., B. Porter, and P. Clark, A Library of Generic Concepts for Composing Knowledge Bases, in Proc. 1st Int Conf on Knowledge Capture (K-Cap'01). 2001. p. 14-21.
No context found.
Barker, K., B. Porter, and P. Clark, A Library of Generic Concepts for Composing Knowledge Bases, in Proc. 1st Int Conf on Knowledge Capture (K-Cap'01). 2001. p. 14--21.
No context found.
Barker, K., B. Porter, and P. Clark, A Library of Generic Concepts for Composing Knowledge Bases, in Proc. 1st Int Conf on Knowledge Capture (K-Cap'01). 2001. p. 14--21
....of first order logic (FOL) axioms about a particular concept, gathered into a single data structure, encoding a coherent description of that concept [5] The user is provided with a pre built library of such components to work with. Creating this library is a separate, major goal of our project [1]) For example, consider a (much simplified) component describing the process of Invasion . It might include axioms stating that: The defending object has some barrier to protect it During an invasion, the invader penetrates that defensive barrier, then enters through it, then takes ....
....agent is a tangible entity etc. Statements such of these are encoded in first order logic in the KB using (in our case) the frame based language KM [6] A simplified example of this notion of invade looks (in KM notation, with examples of equivalent FOL notation as footnotes) [1] The invading agent is a tangible entity ; 2] The subevents of an invasion are a penetrate, an enter, and a take control. 3] During the penetrate, the invader penetrates ; the defensive barrier of the attacked object. 4] The first subevent is a penetrate event ; ....
[Article contains additional citation context not shown here]
K. Barker, B. Porter, and P. Clark. A library of generic concepts for composing knowledge bases. In Proc. 1st Int Conf on Knowledge Capture (K-Cap'01), 2001.
....of first order logic (FOL) axioms about a particular concept, gathered into a single data structure, encoding a coherent description of that concept [5] The user is provided with a pre built library of such components to work with. Creating this library is a separate, major goal of our project [1]) For example, consider a (much simplified) component describing the process of Invasion . It might include axioms stating that: The defending object has some barrier to protect it . During an invasion, the invader penetrates that defensive barrier, then enters through it, then takes ....
....agent is a tangible entity . etc. Statements such of these are encoded in first order logic in the KB using (in our case) the frame based language KM [6] A simplified example of this notion of invade looks (in KM notation, with examples of equivalent FOL notation as footnotes) 1 : [1] The invading agent is a tangible entity ; 2] The subevents of an invasion are a penetrate, an enter, and a take control. 3] During the penetrate, the invader penetrates ; the defensive barrier of the attacked object. 4] The first subevent is a penetrate event ; ....
[Article contains additional citation context not shown here]
K. Barker, B. Porter, and P. Clark. A library of generic concepts for composing knowledge bases. In Proc. 1st Int Conf on Knowledge Capture (K-Cap'01), 2001.
No context found.
Barker, K.; Porter, B.; and Clark, P. 2001. A library of generic concepts for composing knowledge bases. In Proceedings of the First International Conference on Knowledge Capture.
No context found.
Ken Barker, Bruce Porter, and Peter Clark. 2001. A library of generic concepts for composing knowledge bases. In Proceedings of the First International Conference on Knowledge Capture, October 21-23.
No context found.
Barker, K., Porter, B., Clark, P.: A library of generic concepts for composing knowledge bases. In: Proc. 1st International Conference on Knowledge Capture. (2001)
No context found.
K. Barker, B. Porter, and P. Clark. A library of generic concepts for composing knowledge bases. In Proc. of the First Int. Conf. on Knowledge Capture (K-Cap'01), 2001.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC