Academic literature on the topic 'Formalisme HTN'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Formalisme HTN.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Formalisme HTN"
1
Cecílio Magnaguagno, Maurício, and Felipe Meneguzzi. "Semantic Attachments for HTN Planning." Proceedings of the AAAI Conference on Artificial Intelligence 34, no. 06 (April 3, 2020): 9933–40. http://dx.doi.org/10.1609/aaai.v34i06.6548.
Full textAbstract:
Hierarchical Task Networks (HTN) planning uses a decomposition process guided by domain knowledge to guide search towards a planning task. While many HTN planners allow calls to external processes (e.g. to a simulator interface) during the decomposition process, this is a computationally expensive process, so planner implementations often use such calls in an ad-hoc way using very specialized domain knowledge to limit the number of calls. Conversely, the classical planners that are capable of using external calls (often called semantic attachments) during planning are limited to generating a fixed number of ground operators at problem grounding time. We formalize Semantic Attachments for HTN planning using semi coroutines, allowing such procedurally defined predicates to link the planning process to custom unifications outside of the planner, such as numerical results from a robotics simulator. The resulting planner then uses such coroutines as part of its backtracking mechanism to search through parallel dimensions of the state-space (e.g. through numeric variables). We show empirically that our planner outperforms the state-of-the-art numeric planners in a number of domains using minimal extra domain knowledge.
2
Dong, Jie Liang. "A Research of HTN-Based Anytime Planning Algorithm on FPS Games." Applied Mechanics and Materials 548-549 (April 2014): 1553–56. http://dx.doi.org/10.4028/www.scientific.net/amm.548-549.1553.
Full textAbstract:
With the development of game industry, the requirements of game AI are also increasing. Recently a planning formalism called HTN (Hierarchical Task Network) was used to design AI behaviors. In this paper we describe how to implement an anytime planner based on HTN to handle a dynamic environment, which is the key feature of computer game worlds. This planner allows agent to interrupt its sequence of actions at anytime based on the changes of environment meanwhile return a valid replacement plan. We use Unreal Tournament 2004 which is a famous first-person shooter game as the platform and test our anytime planner.
3
Behnke, Gregor, Daniel Höller, and Susanne Biundo. "Bringing Order to Chaos – A Compact Representation of Partial Order in SAT-Based HTN Planning." Proceedings of the AAAI Conference on Artificial Intelligence 33 (July 17, 2019): 7520–29. http://dx.doi.org/10.1609/aaai.v33i01.33017520.
Full textAbstract:
HTN planning provides an expressive formalism to model complex application domains. It has been widely used in realworld applications. However, the development of domainindependent planning techniques for such models is still lacking behind. The need to be informed about both statetransitions and the task hierarchy makes the realisation of search-based approaches difficult, especially with unrestricted partial ordering of tasks in HTN domains. Recently, a translation of HTN planning problems into propositional logic has shown promising empirical results. Such planners benefit from a unified representation of state and hierarchy, but until now require very large formulae to represent partial order. In this paper, we introduce a novel encoding of HTN Planning as SAT. In contrast to related work, most of the reasoning on ordering relations is not left to the SAT solver, but done beforehand. This results in much smaller formulae and, as shown in our evaluation, in a planner that outperforms previous SAT-based approaches as well as the state-of-the-art in search-based HTN planning.
4
Gutiérrez Hoyos, Hernando. "Formalismo, Abstracción, rigor y dificultad en la matemática." Paideia Surcolombiana, no. 7 (December 1, 1999): 73–76. http://dx.doi.org/10.25054/01240307.998.
Full textAbstract:
He aquí cuatro términos que usualmente se confunden como sinónimos cuando se intenta hacer una caracterización de la matemática por parte de personas no especializadas en esta disciplina. La confusión llega a presentarse, incluso, entre personas que han recibido algún tipo de formación matemática pues no es raro encontrarse divulgadores de la materia que no establezcan claramente las diferencias y relaciones que existen entre estos términos.Quienes han tenido oportunidad de acercarse a la matemática indagando sobre la naturaleza de sus conceptos y la estructuración del conocimiento matemático, por encima de la simple manipulación de los procesos operativos asociados y/o derivados de estos conceptos, saben que existen relaciones pero también diferencias entre los cuatro términos del enunciado que contribuyen, precisamente, a la configuración unitaria de la diversidad que es, muy seguramente, una de las características esenciales de la matemática.Con el fin de estimular este acercamiento, que necesariamente debemos promover, a la matemática a través de conductas diferentes de la tradicional operatividad mecánica; voy a intentar presentar de una manera sencilla (ojalá la sencillez no desvirtúe los conceptos) cada uno de estos términos y aclarar las confusiones más frecuentes en la interpretación de ellos.
5
Sanz Loroño, Miguel Ángel. "Cuatro caras de Metahistory y una propuesta de interpretación / Four Faces of Metahistory and one Proposal of Interpretation." Historiografías, no. 9 (December 28, 2017): 44. http://dx.doi.org/10.26754/ojs_historiografias/hrht.201592403.
Full textAbstract:
Metahistory by Hayden White is a book read in many ways. Nobody can deny its significance even after forty years elapsed since its publication, when the book goes on publishing. The 1980s and 1990s, a time when White became involved in some bitter controversies, are long gone. At this moment, after the storm of the linguistic turn, we might consider Metahistory as a classical piece of historical writing, and the history of its reception a requirement to understand the history of historiography. In this paper we shall suggest four levels of reading, which may explain the different fortune and reception of the book, and a proposal of interpretation of both the reception, that turned White’s masterpiece into the unexpected origin of postmodernism in historiography, and the humanist act that the ideology of Hayden White attempted to perform in 1973.Key WordsHayden White, Metahistory, theory of history, formalism, humanism.ResumenLa Metahistory de Hayden White es un libro que ha sido leído de muchas maneras. Nadie puede negar su importancia. Han pasado cuarenta años desde su publicación y aún sigue reeditándose. Las décadas de 1980 y 1990, tiempo en que White se vio envuelto en agrias polémicas, han quedado atrás. Ahora, concluida la tormenta que levantó el giro lingüístico, es posible tratarlo como un clásico de la historiografía. En otras palabras, la historia de su recepción es necesaria para comprender la historia de la historiografía. En este artículo se ofrecen cuatro niveles de lectura, que pueden explicar las diferentes fortunas y recepciones de las que gozó esta obra, y una propuesta de interpretación tanto de la recepción que la convirtió en el insospechado origen del posmodernismo en la historiografía como del acto humanista que la ideología liberal de Hayden White trató de llevar a cabo en 1973.Palabras claveHayden White, Metahistory, teoría de la historia, formalismo, humanismo.
6
García Amado, Juan Antonio. "¿Existe discrecionalidad en la decisión judicial?" Revista Oficial del Poder Judicial. Órgano de Investigación de la Corte Suprema de Justicia de la República del Perú 4, no. 4 (December 1, 2008): 287–314. http://dx.doi.org/10.35292/ropj.v4i4.165.
Full textAbstract:
Dos tipos de doctrinas jurídicas han tratado de negar la discrecionalidad judicial: por un lado, el formalismo ingenuo del siglo XIX, propio de la Escuela de la Exégesis, en Francia, y de la Jurisprudencia de Conceptos, en Alemania; por otro lado, el formalismo sofisticado de fines del siglo XX, que primero integra derecho y moral social y, después, moraliza la Constitución positiva para que en el derecho positivo se contenga una única solución correcta para cada caso posible. Por contra, el positivismo jurídico del siglo XX ha visto en la discrecionalidad judicial una consecuencia, tan inevitable como conveniente, de los caracteres de todo sistema jurídico real.
7
Nieto Chaupis, Huber, and Paola Quispe-Sipán. "PROBABILIDAD DE ÉXITO DE LAS TELECONSULTAS PARA EL CUIDADO DE PACIENTES DIABÉTICOS CON DEPRESIÓN." Revista Cientifica TECNIA 26, no. 1 (November 28, 2016): 35. http://dx.doi.org/10.21754/tecnia.v26i1.5.
Full textAbstract:
RESUMENEn este documento se presenta un estudio sobre el impacto de los parámetros elegidos en varios escenarios de la telemedicina y cómo estos pueden jugar un rol crucial para llevar a cabo una eficiente teleconsulta. Tomamos el ejemplo cuando la Telemedicina podría ser un mecanismo adicional dentro del marco de salud electrónica (eHealth en inglés) en la cual el paciente podría aspirar a mejorar y controlar sus enfermedades, como por ejemplo aquellos que han sido diagnosticados con diabetes Mellitus tipo-2 y que viven en zonas periféricas de la ciudad de Lima. Además, éstos pacientes sufrirían adicionalmente de episodios depresivos. Hemos realizado una encuesta cuya estadística resultante entra en un formalismo matemático basado en probabilidades de éxito y que por el cual lo hemos evaluado para varios escenarios con diferentes eficiencias que han sido construidas con los parámetros de la Telemedicina. Hemos encontrado que cuando el paciente adiciona las teleconsultas en su tratamiento de diabetes y depresión, su recuperación en cuanto a estabilizar su glucosa y detener la depresión podría tomar 15 ±3 días subsecuentemente al 5to día de inicio de las teleconsultas.Palabras clave.- Telemedicina, Diabetes Mellitus tipo 2.ABSTRACTTelemedicine scenarios and how those can play a main rol as efficient consultations. We take Telemedicine as example that could be an additional mechanism within the frame of electronic health (eHealth) in which one the patient could improve his health and control his illness, for instance those who have been diagnosed with diabetes Mellitus type-2 and who lives in peripherical zones of Lima city. Further, those patients suffer additional depressive episodes. We made an inquiry, and its results throw a mathemathical formalism based on probabilities of success and for which we have evaluated several scenarios with different efficiencies that have been built by the Telemedcine facings. We have found that when the patient adds these consultations to his or her diabetes and depression treatment, recovery, as to glucose stabilization and stopping depression might take 15 ±3 days subsequently on the 5th day since the beginning of these consultations.Keywords.- Telemedicina, Diabetes Mellitus tipo 2.
8
Nieto Chaupis, Huber. "PROBABILIDAD DE ÉXITO DE LAS TELECONSULTAS PARA EL CUIDADO DE PACIENTES DIABÉTICOS CON DEPRESIÓN." Revista Cientifica TECNIA 26, no. 1 (August 16, 2016): 23. http://dx.doi.org/10.21754/tecnia-250215.04.
Full textAbstract:
RESUMENEn este documento se presenta un estudio sobre el impacto de los parámetros elegidos en varios escenarios de la telemedicina y cómo estos pueden jugar un rol crucial para llevar a cabo una eficiente teleconsulta. Tomamos el ejemplo cuando la Telemedicina podría ser un mecanismo adicional dentro del marco de salud electrónica (eHealth en inglés) en la cual el paciente podría aspirar a mejorar y controlar sus enfermedades, como por ejemplo aquellos que han sido diagnosticados con diabetes Mellitus tipo-2 y que viven en zonas periféricas de la ciudad de Lima. Además, éstos pacientes sufrirían adicionalmente de episodios depresivos. Hemos realizado una encuesta cuya estadística resultante entra en un formalismo matemático basado en probabilidades de éxito y que por el cual lo hemos evaluado para varios escenarios con diferentes eficiencias que han sido construidas con los parámetros de la Telemedicina. Hemos encontrado que cuando el paciente adiciona las teleconsultas en su tratamiento de diabetes y depresión, su recuperación en cuanto a estabilizar su glucosa y detener la depresión podría tomar 15 ±3 días subsecuentemente al 5to día de inicio de las teleconsultas.Palabras clave.- Telemedicina, Diabetes Mellitus tipo 2.ABSTRACTTelemedicine scenarios and how those can play a main rol as efficient consultations. We take Telemedicine as example that could be an additional mechanism within the frame of electronic health (eHealth) in which one the patient could improve his health and control his illness, for instance those who have been diagnosed with diabetes Mellitus type-2 and who lives in peripherical zones of Lima city. Further, those patients suffer additional depressive episodes. We made an inquiry, and its results throw a mathemathical formalism based on probabilities of success and for which we have evaluated several scenarios with different efficiencies that have been built by the Telemedcine facings. We have found that when the patient adds these consultations to his or her diabetes and depression treatment, recovery, as to glucose stabilization and stopping depression might take 15 ±3 days subsequently on the 5th day since the beginning of these consultations.Key words.- Telemedicina, Diabetes Mellitus tipo 2.
9
Nieto Chaupis, Huber. "PROBABILIDAD DE ÉXITO DE LAS TELECONSULTAS PARA EL CUIDADO DE PACIENTES DIABÉTICOS CON DEPRESIÓN." Revista Cientifica TECNIA 26, no. 1 (November 28, 2016): 35. http://dx.doi.org/10.21754/tecnia-26012016.04.
Full textAbstract:
RESUMENEn este documento se presenta un estudio sobre el impacto de los parámetros elegidos en varios escenarios de la telemedicina y cómo estos pueden jugar un rol crucial para llevar a cabo una eficiente teleconsulta. Tomamos el ejemplo cuando la Telemedicina podría ser un mecanismo adicional dentro del marco de salud electrónica (eHealth en inglés) en la cual el paciente podría aspirar a mejorar y controlar sus enfermedades, como por ejemplo aquellos que han sido diagnosticados con diabetes Mellitus tipo-2 y que viven en zonas periféricas de la ciudad de Lima. Además, éstos pacientes sufrirían adicionalmente de episodios depresivos. Hemos realizado una encuesta cuya estadística resultante entra en un formalismo matemático basado en probabilidades de éxito y que por el cual lo hemos evaluado para varios escenarios con diferentes eficiencias que han sido construidas con los parámetros de la Telemedicina. Hemos encontrado que cuando el paciente adiciona las teleconsultas en su tratamiento de diabetes y depresión, su recuperación en cuanto a estabilizar su glucosa y detener la depresión podría tomar 15 ±3 días subsecuentemente al 5to día de inicio de las teleconsultas.Palabras clave.- Telemedicina, Diabetes Mellitus tipo 2.ABSTRACTTelemedicine scenarios and how those can play a main rol as efficient consultations. We take Telemedicine as example that could be an additional mechanism within the frame of electronic health (eHealth) in which one the patient could improve his health and control his illness, for instance those who have been diagnosed with diabetes Mellitus type-2 and who lives in peripherical zones of Lima city. Further, those patients suffer additional depressive episodes. We made an inquiry, and its results throw a mathemathical formalism based on probabilities of success and for which we have evaluated several scenarios with different efficiencies that have been built by the Telemedcine facings. We have found that when the patient adds these consultations to his or her diabetes and depression treatment, recovery, as to glucose stabilization and stopping depression might take 15 ±3 days subsequently on the 5th day since the beginning of these consultations.Key words.- Telemedicina, Diabetes Mellitus tipo 2.
10
Liu, Dian, Hong-wei Wang, Heng Li, Johnny Wang, and Mohamed Khallaf. "HIERARCHICAL TASK NETWORK APPROACH FOR TIME AND BUDGET CONSTRAINED CONSTRUCTION PROJECT PLANNING." Technological and Economic Development of Economy 25, no. 3 (April 8, 2019): 472–95. http://dx.doi.org/10.3846/tede.2019.9384.
Full textAbstract:
Completing a construction project on time and within budget is of great importance in the construction industry. To achieve this goal, a construction plan satisfying the time and cost constraints is crucial. While a rich amount of literature on the time-cost trade-off scheduling and time/cost optimization scheduling has been presented, developing a construction plan for the time and cost-constrained construction project has not been fully explored. This study presented a hierarchical task network (HTN) based construction planning model to fill this gap. First of all, a knowledge formalism catering to the HTN planning was provided to accommodate the construction planning knowledge. Then, the planning process was explained in detail, including temporal reasoning used to sequence the construction activities, and backtracking evasion mechanism used to avoid the trouble of backtracking due to inappropriate selection of execution modes for construction activities. Finally, two sets of comparisons based on a fictional construction project were performed, the results of which demonstrate that the time and budget constraints have an impact on the section of execution modes for construction methods, and the proposed planning model can develop construction plan that satisfies the specified deadline and budget limitations effectively regardless of the existing of backtracking.
Dissertations / Theses on the topic "Formalisme HTN"
1
Clerc, Xavier. "Planification dans un espace de buts par stratégie de type meilleur d'abord." Grenoble INPG, 2007. http://www.theses.fr/2007INPG0059.
Full textAbstract:
La plupart des systèmes de planification distribuée sont fondés sur des modèles qui ont été développés pour de 1 planification centralisée. Ces modèles ont ensuite été adaptés au contexte de la distribution et aux problèmes pécifiques qui en découlent. Notre objectif est au contraire de développer un modèle de planification qui intègre a priori les contraintes de la distribution. Pour cela, nous développons un modèle de planification utilisant une recherche de type meilleur d'abord (nous adaptons à cette fin des algorithmes de la famille proof-number search). Nous déclinons ce modèle pour la planification d'une part sur des structures de tâches utilisées dans les systèmes multi-agents et d'autres part sur le formalisme HTN. Dans ce second cas, nous montrons en particulier comment une recherche de type meilleur d'abord permet d'accumuler au plus vite des contraintes qui permettent de fermer certaines branches de l'espace de Ia recherche. Nous nous intéressons en outre à la robustesse des plans produits, c'est-à-dire à la capacité d'un groupe ki'agents planifiants à pallier l'absence d'une ressource ou la défaillance d'un agentMost of distributed planning systems are based on models which were developped for centralized planning. These models have then been adapted to distribution and its specific contraints. Our goal is at the opposite to design a planning model that considers these constraints as premises. We have developped a planning model that uses a best-first search (as an adaptation of the proof-number search algorithm). We have applied this model to planning over task structures (from multiagent notations) as well as to HTN planning. Ln this latter case, we have shown how a best-first search allows the planner to rapidly gather constraints that can prune branches from the search space. We have also defined plan robustness in order to mitigate the consequences of an agent failure or a resource unavailability
2
Tyradellis, Daniel. "Untiefen Husserls Begriffsebene zwischen Formalismus und Lebenswelt." Würzburg Königshausen und Neumann, 2004. http://deposit.ddb.de/cgi-bin/dokserv?id=2704196&prov=M&dok_var=1&dok_ext=htm.
Full text
3
Tyradellis, Daniel. "Untiefen : Husserls Begriffsebene zwischen Formalismus und Lebenswelt /." Würzburg : Königshausen & Neumann, 2006. http://deposit.ddb.de/cgi-bin/dokserv?id=2704196&prov=M&dok_var=1&dok_ext=htm.
Full text
4
Tanseng, Pornpot. "Implementation of hypoplasticity for fast Lagrangian simulations." Berlin Logos-Verl, 2005. http://deposit.ddb.de/cgi-bin/dokserv?id=2704430&prov=M&dok_var=1&dok_ext=htm.
Full text
5
Hartanto, Ronny. "Fusing DL Reasoning with HTN Planning as a Deliberative Layer in Mobile Robotics." Doctoral thesis, 2010. https://repositorium.ub.uni-osnabrueck.de/handle/urn:nbn:de:gbv:700-201003085604.
Full textAbstract:
Action planning has been used in the field of robotics for solving long-running tasks. In the robot architectures field, it is also known as the deliberative layer. However, there is still a gap between the symbolic representation on the one hand and the low-level control and sensor representation on the other. In addition, the definition of a planning problem for a complex, real-world robot is not trivial. The planning process could become intractable as its search spaces become large. As the defined planning problem determines the complexity and the computationability for solving the problem, it should contain only relevant states. In this work, a novel approach which amalgamates Description Logic (DL) reasoning with Hierarchical Task Network (HTN) planning is introduced.
The planning domain description as well as fundamental HTN planning concepts are represented in DL and can therefore be subject to DL reasoning; from these representations, concise planning problems are generated for HTN planning. The method is presented through an
example in the robot navigation domain. In addition, a case study of the RoboCup@Home domain is given. As proof of concept, a well-known planning problem that often serves as a benchmark, namely that of the blocks-world, is modeled and solved using this approach.
An analysis of the performance of the approach has been conducted and the results show that this approach yields significantly smaller planning problem descriptions than those generated by current representations in HTN planning.
Books on the topic "Formalisme HTN"
1
Sepúlveda, Jovanny. Hacia una cultura de acuerdos: métodos complementarios de solución de conflictos. CUA - Medellin, 2018. http://dx.doi.org/10.52441/der201802.
Full textAbstract:
A partir de 1991, en Colombia puede hablarse de un nuevo derecho, un derecho enmarcado en la Constitución, en el cual se da prevalencia a los derechos humanos y a los derechos fundamentales. Ese nuevo derecho se ve reflejado en las áreas del conocimiento jurídico, tanto sustancial como procesal. Y una de esas formas en que se refleja, es la posibilidad de que algunos particulares participen en forma activa en la solución de los conflictos, en tanto que en el artículo 116 de la Carta Política se faculta a los particulares para la solución de conflictos en su calidad de árbitros o de conciliadores. La necesidad de generar mecanismos de descongestión para la administración de justicia, llevó a que a partir del año mencionado se empezara con una ardua tarea legislativa sobre esos temas, pero basada, considero, en el error de llamarlos siempre mecanismos de descongestión, cuando desde el punto de vista legal y constitucional son una forma de solución de conflictos con fuerza similar a las decisiones judiciales. No es un simple formalismo para descongestionar, sino una verdadera forma de terminar los conflictos socio jurídicos de una comunidad. En estos 27 años aproximadamente se han dado diferentes leyes sobre el tema, pero tratando en cada una de ellas de dar una mayor prevalencia a estos mecanismos, incluso motivando a través de diferentes capacitaciones a los profesionales del derecho para que agoten estos mecanismos antes de acudir a los jueces de la República. Sin embargo, el legislador insta a las partes dentro del proceso para que se realice la conciliación, tal vez esto sea un error, ya que los principios procesales pueden verse afectados en esta instancia. Además, durante este tiempo, muchas de los Consultorios Jurídicos de las Universidades de Colombia han creado centros de conciliación, los cuales han servido como un medio de acción social para las universidades y las interacciones con la comunidad, han llevado a que las instituciones educativas sean reconocidas por su labor social. Igualmente, muchos debates se han dado entorno a estos mecanismos, desde la discusión de su naturaleza hasta su efectividad, han tratado de buscar su mejor desarrollo legislativo y su aplicación, a estos temas no ha sido ajena la Corporación Universitaria Americana, y como resultado de ese hacer académico se presenta este libro, en el cual se encuentran distintas perspectivas de la solución de conflictos a partir de la conciliación. Desde su visón filosófica, social y jurídica se pretende aportar a la discusión académica sobre esta materia. No se trata de dar solo una visión parcializada y subjetiva sobre el tema, sino que lo que se busca es dar una conceptualización objetiva que permita desde el punto de vista de la investigación, generar nuevo conocimiento y por ende una nueva legislación. La aproximación desde la filosofía moral a lo que es la conciliación, implica reconocer al hombre como ser no solo como una parte de un conflicto, sino como un ser integral que posee problemas sociales, morales, culturales, un ser poseedor de derechos más allá de los reconocidos por el ordenamiento positivo. Los textos de los autores Cesar Augusto Ramírez Giraldo y Diego Correa Correa, nos muestran al hombre en su esencia dentro un contexto social. Además de la visión de la persona desde su componente mental se encuentra en texto de Santiago Restrepo Restrepo, Manuel José Gómez Restrepo y Adriana Patricia Arboleda López. En un segundo plano, se presentan los mecanismos de solución de conflictos desde su componente jurídico, analizando la efectividad de un mecanismo para la solución de conflictos entre particulares nacidos de los distintos negocios jurídicos o por mandato de la ley. De igual forma, el ejercicio de la conciliación desde los consultorios jurídicos y su aplicación en algunas de las áreas del derecho, a si se observa en los trabajos de Sol Leonor Mejía Pulgarín, María Isabel Ortiz Cano, Silvia H. Muñoz Cortina y Carlos A. Gómez García. Finalmente, se encuentra en el texto el aporte de los semilleristas y estudiantes de la Corporación Universitaria donde se observa la forma en que se percibe estos medios de solución, como Jorge Juan de Bedout Quiroga, Camilo Cesar Molina Cerón, Edwin Alexander Jiménez y Santiago Rendón Ruiz.
Conference papers on the topic "Formalisme HTN"
1
Bercher, Pascal, Gregor Behnke, Daniel Höller, and Susanne Biundo. "An Admissible HTN Planning Heuristic." In Twenty-Sixth International Joint Conference on Artificial Intelligence. California: International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/68.
Full textAbstract:
Hierarchical task network (HTN) planning is well-known for being an efficient planning approach. This is mainly due to the success of the HTN planning system SHOP2. However, its performance depends on hand-designed search control knowledge. At the time being, there are only very few domain-independent heuristics, which are designed for differing hierarchical planning formalisms. Here, we propose an admissible heuristic for standard HTN planning, which allows to find optimal solutions heuristically. It bases upon the so-called task decomposition graph (TDG), a data structure reflecting reachable parts of the task hierarchy. We show (both in theory and empirically) that rebuilding it during planning can improve heuristic accuracy thereby decreasing the explored search space. The evaluation further studies the heuristic both in terms of plan quality and coverage.
2
Lin, Songtuan, and Pascal Bercher. "Change the World - How Hard Can that Be? On the Computational Complexity of Fixing Planning Models." In Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21}. California: International Joint Conferences on Artificial Intelligence Organization, 2021. http://dx.doi.org/10.24963/ijcai.2021/571.
Full textAbstract:
Incorporating humans into AI planning is an important feature of flexible planning technology. Such human integration allows to incorporate previously unknown constraints, and is also an integral part of automated modeling assistance. As a foundation for integrating user requests, we study the computational complexity of determining the existence of changes to an existing model, such that the resulting model allows for specific user-provided solutions. We are provided with a planning problem modeled either in the classical (non-hierarchical) or hierarchical task network (HTN) planning formalism, as well as with a supposed-to-be solution plan, which is actually not a solution for the current model. Considering changing decomposition methods as well as preconditions and effects of actions, we show that most change requests are NP-complete though some turn out to be tractable.
3
Rubio Garrido, Alberto. "Le Corbusier y la autonomía de la arquitectura." In LC2015 - Le Corbusier, 50 years later. Valencia: Universitat Politècnica València, 2015. http://dx.doi.org/10.4995/lc2015.2015.682.
Full textAbstract:
Resumen: Tres han sido los intentos de vincular la obra de Le Corbusier con la “autonomía de la arquitectura”. El primero, aquel formulado por Emil Kaufmann en 1933, reposa en una analogía ética conducida por medio de ciertos mecanismos compositivos. El segundo lo alentó Johnson durante la posguerra e identifica en Le Corbusier un sistema de composición autorreferencial pretendidamente ajeno a todo condicionante exterior que enfatiza el purismo de sus operaciones formales. El tercero fue conducido por un grupo de autores englobados en el “autonomy project” que vio en su obra la posibilidad de entender la arquitectura simultáneamente como hecho social y producto formal. Cada intento ensalzó ciertas características de Le Corbusier y obvió otras en la medida en que se adscribieron a las diversas, y por momentos divergentes, interpretaciones de la autonomía de la arquitectura. En este texto defenderé que la aparente multiplicidad de las interpretaciones de la obra de Le Corbusier que derivan de estos intentos puede superarse atendiendo al sentido filosófico originario de “autonomía” y su incorporación al arte. A la postre, remiten a una paradoja difícilmente superable y que puede identificarse como consustancial a la modernidad arquitectónica: la dialéctica entre la forma y la función. Abstract: There have been three attempts to link Le Corbusier’s work with the "autonomy of architecture". The first one, the one conducted by Emil Kaufmann in 1933, lies in an ethical analogy through some compositional mechanism. Johnson encouraged the second one during the postwar. He identified in Le Corbusier a system of self-referential composition, supposedly alien to all outside constraint, which emphasizes the purity of its formal operations. The third was led by a group of authors, members of the “autonomy project”. They saw in his work the possibility of understanding architecture simultaneously as a social fact and formal product. Each attempt praised certain features of Le Corbusier and others were disregarded, following the pattern of controversial interpretations of the autonomy of architecture. In this paper I will argue that this apparent multiplicity of interpretations of Le Corbusier’s work can be overcome taking the original philosophical sense of "autonomy" and its incorporation into art. In the end, they refer to an insurmountable paradox, which can be identified as integral to modern architecture: the dialectic between form and function. Palabras clave: Le Corbusier, autonomía de la arquitectura, compromiso, formalismo, dialéctica. Keywords: Le Corbusier, autonomy of architecture, commitment, formalism, dialectics. DOI: http://dx.doi.org/10.4995/LC2015.2015.682