1,040 research outputs found
Efficient Open World Reasoning for Planning
We consider the problem of reasoning and planning with incomplete knowledge
and deterministic actions. We introduce a knowledge representation scheme
called PSIPLAN that can effectively represent incompleteness of an agent's
knowledge while allowing for sound, complete and tractable entailment in
domains where the set of all objects is either unknown or infinite. We present
a procedure for state update resulting from taking an action in PSIPLAN that is
correct, complete and has only polynomial complexity. State update is performed
without considering the set of all possible worlds corresponding to the
knowledge state. As a result, planning with PSIPLAN is done without direct
manipulation of possible worlds. PSIPLAN representation underlies the PSIPOP
planning algorithm that handles quantified goals with or without exceptions
that no other domain independent planner has been shown to achieve. PSIPLAN has
been implemented in Common Lisp and used in an application on planning in a
collaborative interface.Comment: 39 pages, 13 figures. to appear in Logical Methods in Computer
Scienc
CupQ: A New Clinical Literature Search Engine
A new clinical literature search engine, called CupQ, is presented. It aims
to help clinicians stay updated with medical knowledge. Although PubMed is
currently one of the most widely used digital libraries for biomedical
information, it frequently does not return clinically relevant results. CupQ
utilizes a ranking algorithm that filters non-medical journals, compares
semantic similarity between queries, and incorporates journal impact factor and
publication date. It organizes search results into useful categories for
medical practitioners: reviews, guidelines, and studies. Qualitative
comparisons suggest that CupQ may return more clinically relevant information
than PubMed. CupQ is available at https://cupq.io/
05241 Abstracts Collection -- Synthesis and Planning
From 12.06.05 to 17.06.2005 the Dagstuhl Seminar 05241 ``Synthesis and Planning\u27\u27
was held in the International Conference and Research Center (IBFI),
Schloss Dagstuhl.
During the seminar, several participants presented their current
research, and ongoing work and open problems were discussed. Abstracts of
the presentations given during the seminar as well as abstracts of
seminar results and ideas are put together in this paper. The first section
describes the seminar topics and goals in general.
Links to extended abstracts or full papers are provided, if available
- …